From Time Petri Nets to Timed Automata:an Untimed Approach

机译：从时间petri网到定时自动机：一种不定时的方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Susanna Donatelli; Arnaud Sangnier; Jeremy Sproston;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model [J] . Hanifa Boucheneb Computacion y Sistemas . 2006,第2期

机译：检查间隔定时有色Petri网模型的无定时和定时线性特性
2. When are Timed Automata weakly timed bisimilar to Time Petri Nets? [J] . B. Berard, F. Cassez, S. Haddad, Theoretical computer science . 2008,第2a3期

机译：定时自动机何时与Time Petri Nets弱定时双相似？
3. TCTL-preserving translations from timed-arc Petri nets to networks of timed automata [J] . Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Theoretical computer science . 2014,第Null期

机译：保留TCTL的功能，从定时弧Petri网到定时自动机网络的转换
4. From Time Petri Nets to Timed Automata: An Untimed Approach [C] . Davide DAprile, Susanna Donatelli, Arnaud Sangnier, Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science; 4424 . 2007

机译：从时间Petri网到定时自动机：一种非定时方法
5. Verification approach for compositional hierarchical time Petri-nets. [D] . Chen, Lan. 2006

机译：组成分层时间Petri网的验证方法。
6. Math Fluency Is Etiologically Distinct From Untimed Math Performance Decoding Fluency and Untimed Reading Performance: Evidence From a Twin Study [O] . Stephen Petrill, Jessica Logan, Sara Hart, -1

机译：数学流畅性在病原上不同于无处不通的数学性能解码流畅性和无疑阅读性能：来自双胞胎研究的证据
7. Modelling Approach for Discrete Event Systems Through Petri Nets and Timed Automata [O] . 2014

机译：基于Petri网和定时自动机的离散事件系统建模方法

From Time Petri Nets to Timed Automata:an Untimed Approach

著录项

引文网络

相似文献

相关主题

期刊订阅